#include"asm_utils.h"

extern "C" void setup_kernel()
{
	asm_hello_world();
	while(1){

	}
}
